週次 |
日期 |
單元主題 |
第1週 |
2/27 |
228 國定假日補假 |
第2週 |
3/06 |
0. Class Introduction<br>
1. Introduction to Design Verification |
第3週 |
3/13 |
2. Formal Verification Basics |
第4週 |
3/20 |
3. Introduction to BDD |
第5週 |
3/27 |
4. Advanced BDD Techniques |
第6週 |
4/03 |
溫書假 |
第7週 |
4/10 |
5. BDD-Based Verification |
第8週 |
4/17 |
6. Introduction to SAT |
第9週 |
4/24 |
7. Advanced SAT Techniques |
第10週 |
5/01 |
8. Bounded Model Checking |
第11週 |
5/08 |
9. Unbounded Model Checking |
第12週 |
5/15 |
10. Property Directed Reachability |
第13週 |
5/22 |
11. SAT-Assisted Synthesis |
第14週 |
5/29 |
12. From SAT to Optimization |
第15週 |
6/05 |
13. Advanced Formal Verification Topics |
第16週 |
6/12 |
14. System-Level Design and Verification |
第17週 |
6/19 |
端午節國定假日補假 |
第18週 |
6/26 |
期末考周 |